%{
#include<iostream>
#include<set>
using namespace std;
set <int>s;
int number=0;
long long sum=0;
%}
DIGIT [0-9]
SCHOOLNUM ^[0-9]{9}
NUMBER {DIGIT}+(\.{DIGIT}+)?
END    NAME$
LETTER [A-Za-z]
%%
{SCHOOLNUM} {printf("201492382");}
{END} {printf("WTH");}
{LETTER} {printf("%s",yytext);}
{NUMBER} {sum=2*atof(yytext)+201492382;printf("%lld",sum);s.insert(sum);number++;}
%%
int main()
{
yylex();
printf("数总数为%d,去重后为%d\n",number,s.size());
return 0;
}
int yywrap()
{
return 1;
}
